@java -cp "%~dp0\src\main\java;%~dp0\bin;%~dp0/../3rdParty/gwt-user-1.5.2.jar;%~dp0/../3rdParty/gwt-dev-mac-1.5.2.jar;%~dp0/../3rdParty/gwtext-2.0.5.jar;%~dp0/../3rdParty/gwtextux-0.3.jar;%~dp0/../3rdParty/gwt-commons-logging-0.3.jar;%~dp0/../common/src/main/java;%~dp0/../common/target/src;" com.google.gwt.dev.GWTShell -out "%~dp0\target\gwt" %* org.tinaelle.Tinaelle/Tinaelle.html